Tagged “token reduction”